package sketch.icse11nier;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class AllExamplesInSubmission extends TestCase {

	public static Test suite() {
		TestSuite suite = new TestSuite();
		
		suite.addTest(ValuesChooseTest.suite());
		suite.addTest(StatementChooseTest.suite());
		suite.addTest(IntegratingOtherTestsTest.suite());
		suite.addTest(SpecifyAssertionTest.suite());
		suite.addTest(SketchTreeMapTest.suite());
		
		return suite;
	}
	
}